Formal Specification: Techniques and Applications
by Nimal Nissanke,Lars Fischer
ISBN 13: 9781852330026
Format: Paperback (316 pages) Publisher: Springer Published: 27 Aug 1999
Save for later